type T() as this{caret} =
    class
    end
